High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices Journal title: EAI Endorsed Transactions on Cognitive Communications Authors: Sal vatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri Subject(s): Computer and Information Science, Telecommunications